The Interprocedural Express-Lane Transformation
نویسندگان
چکیده
The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane p is a copy of a frequently executed program path such that p has only one entry point at its beginning; p may have branches back to the original code, but the original code never branches into p. Classical data-flow analysis is likely to find sharper data-flow facts along an express-lane, because there are no join points. This paper describes several variants of interprocedural express-lane transformations; these duplicate hot interprocedural paths, i.e., paths that may cross procedure boundaries. The paper also reports results from an experimental study of the effects of the express-lane transformation on interprocedural range analysis.
منابع مشابه
Numerical Solution of the Lane-Emden Equation Based on DE Transformation via Sinc Collocation Method
In this paper, numerical solution of general Lane-Emden equation via collocation method based on Double Exponential DE transformation is considered. The method converts equation to the nonlinear Volterra integral equation. Numerical examples show the accuracy of the method. Also, some remarks with respect to run-time, computational cost and implementation are discussed.
متن کاملInterprocedural Exception Analysis for C++
C++ Exceptions provide a useful way for dealing with abnormal program behavior, but often lead to irregular interprocedural control flow that complicates compiler optimizations and static analysis. In this paper, we present an interprocedural exception analysis and transformation framework for C++ that captures the control-flow induced by exceptions and transforms it into an exception-free prog...
متن کاملThe Higher-Order Aggregate Update Problem
We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestricted closures and nested arrays. Also, it can handle programs that contain a mix of functional and destructive updates. Correctness of all the analyses and of the transformation itself is proved.
متن کاملSet Constraints for Destructive Array Update Optimization
Destructive array update optimization is critical for writing scientiic codes in functional languages. We present set constraints for an interprocedural update optimization that runs in polynomial time. This is a multi-pass optimization, involving interprocedural ow analyses for aliasing and liveness. We characterize the soundness of these analyses using small-step operational semantics. We hav...
متن کاملProduction of transgenic Paulownia tomentosa (Thunb.) steud. using chitosan nanoparticles to express antimicrobial genes resistant to bacterial infection
Paulownia tomentosa (Thunb.) Steud. is a very important hard woody plant, an extremely fast-growing tree and produce timber. Therefore, there is a demand to produce transgenic Paulownia plant resistant to bacterial infection. Microbial infection (especially bacterial one) is serious sever and cause a loss in plant productivity as they bear upon the character and amount of plan...
متن کامل